((RepUR ``p{-}conditional can{-}apply`` ( 0)$\cdot$) 
\\[0ex]CollapseTHEN (MaAuto$\cdot$))$\cdot$